机译:利用着色petri网和具有对称性的出现图的Lamport快速互斥算法的计算机辅助验证
机译:兰佩特快速互斥算法的计算机辅助验证,使用有色Petri网和具有对称性的出现图
机译:使用彩色随机Petri网对并发程序进行建模和评估的示例:Lamport的快速互斥算法
机译:评估彩色有色Petri网模型的图形和算法结构
机译:Lamport快速互斥算法的公平和饥饿自由版本
机译:使用彩色Petri网和Java进行密码协议规范和分析。
机译:具有通用对称性的基于索引的子图匹配算法(ISMAGS):利用对称性实现更快的子图枚举
机译:使用有色petri网验证并行算法和程序
机译:计算机网络中的互斥算法